Functional-logic simulation of IP-blocks dose functional failures
نویسندگان
چکیده
منابع مشابه
Functional Verification in IP Selection by Black-box Logic Simulation
Reuse of IPs is an important feature of contemporary SoC design. To select an IP for reuse, it is necessary to verify that the proposed design solution satisfies the specification formulated by the SoC designers. This paper presents a framework for verification of functional equivalence between the IP solution and the specification in the form of constraints or HDL model. The methodology is bas...
متن کاملReporting Failures in Functional Logic Programs
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a deterministic top-level computation) but the evaluation fails accidentally, e.g., due to missing pattern combinations in an operation defined by pattern matching. In this case, the program developer is interested in the context o...
متن کاملthe effect of functional/notional approach on the proficiency level of efl learners and its evaluation through functional test
in fact, this study focused on the following questions: 1. is there any difference between the effect of functional/notional approach and the structural approaches to language teaching on the proficiency test of efl learners? 2. can a rather innovative language test referred to as "functional test" ge devised so so to measure the proficiency test of efl learners, and thus be as much reliable an...
15 صفحه اولFirst-Order Modal Logic Theorem Proving and Functional Simulation
We propose a t rans la t ion approach f r o m moda l logics to f i rst-order predicate logic which combines advantages f r o m b o t h , the (s tandard) rela t iona l t rans la t ion and the ( rather compact) func t iona l t rans la t ion m e t h o d and avoids many of their respective disadvantages (exponent ia l g row th versus equal i ty hand l ing ) . In par t i cu la r in the app l ica t i...
متن کاملObserving Functional Logic Computations
A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy) comprises a portable library plus a viewing tool. A programmer can observe data structures and functions by annotating expressions in his program. The possibly partial values of observed expressions that are computed during p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bezopasnost informacionnyh tehnology
سال: 2017
ISSN: 2074-7136,2074-7128
DOI: 10.26583/bit.2017.4.09